FORMALIZATION OF THE MODEL OF FUNCTIONAL BLOCKS IEC61499 IMPLEMENTATION 

DubininViktor Nikolaevich, Candidate of engineering sciences, associate professor, sub-department of computer science, Penza State University, victor_n_dubinin@yahoo.com
Vyatkin Valery Vladimirovich, Doctor of engineering sciences, professor, department of electronics and computer science, Auckland University (Auckland, New Zealand), victor_n_dubinin@yahoo.com 

004.423.4 

The article consideres a formalized representation of IEC 61499 functional blocks execution models based on functional blocks excitation functions built using run-time predicates and functions. The authors suggest an extended set of execution models including both conventional models and unconventional ones. The article also
deals with questions of input event processing in the execution models. 

functional block, standard IEC 61499, execution model, classification, formalization, semantics, excitation function.